441. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده : edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
442. Ten applications of graph theory
پدیدآورنده : Hansjoachim Walther.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science.,Discrete Mathematics in Computer Science.,Graph theory.
رده :
QA166
.
H367
9999
443. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
444. The R software :
پدیدآورنده : Pierre Lafaye de Micheaux, Rémy Drouilhet, Benoit Liquet
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical statistics-- Computer programs,Mathematical statistics-- Data processing,R (Computer program language)
رده :
QA276
.
45
.
R3
445. The Simplex Method
پدیدآورنده : by Karl Heinz Borgwardt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorics.,Mathematics.
446. The golden ticket :
پدیدآورنده : Lance Fortnow.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer programming-- Algorithms.,Mathematics-- History and philosophy.,Mathematics-- Linear programming.,Mathematics-- Mathematical analysis.,NP-complete problems.
447. The implementation of Prolog /
پدیدآورنده : Patrice Boizumault ; co-translated by Ara M. Djamboulian and Jamal Fattouh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Prolog (Computer program language),MATHEMATICS-- Linear & Nonlinear Programming.,Prolog (Computer program language)
رده :
QA76
.
73
.
P76
B65
1993eb
448. The joy of mathematics :
پدیدآورنده : by Theoni Pappas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics, Popular works.,Mathematics.
رده :
QA93
.
P365
1989
449. The mathematics of banking and finance
پدیدآورنده : Cox, Dennis W., Dennis Cox and Michael Cox
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Business mathematics,، Banks and banking , Mathematics
رده :
HF
5691
.
C68
2006
450. The sharpest cut :
پدیدآورنده : edited by Martin Grötschel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial optimization, Congresses.,Programming (Mathematics), Congresses.,Combinatória (congressos),Combinatorial optimization.,Kombinatorische Optimierung.,Kombinatorische Optimierung.,Otimização combinatória (congressos),Programming (Mathematics)
رده :
QA402
.
5
.
S523
2004
451. The theory of linear economic models
پدیدآورنده : Gale, David
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Linear programming,، Game theory,، Economics - Mathematics models
رده :
HB
71
.
G29
452. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
453. Theory and algorithms for linear optimization
پدیدآورنده : / C. Roos, T. Terlaky, and J.-Ph. Vial
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Interior-point methods,Linear programming,Mathematical optimization,Algorithms
رده :
T57
.
74
.
R664
1997
454. Theory and algorithms for linear optimization
پدیدآورنده : / C. Roos, T. Terlaky, and J.-Ph. Vial
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Linear programming,Mathematical optimization,Algorithms,Electronic books., local
رده :
T57
.
74
.
R664
1997
455. Theory and algorithms for linear optimization
پدیدآورنده : C. Roos, T. Terlaky, J.-Ph. Vial
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Interior-point methods,Linear programming,Mathematical optimization,Algorithms
رده :
T
,
57
.
74
,.
R664
,
1997
456. Theory and algorithms for linear optimization :an interior point approach
پدیدآورنده : Roos, Cornelis, C. Roos, T. Terlaky, and J.-Ph. Vial
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Interior-point methods,، Linear programming,، Mathematical optimization,، Algorithms
رده :
T57
.
74
.
R664
1997
457. Theory and algorithms for linear optimization: an interior point approach
پدیدآورنده : Roos, Cornelis
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Interior-point methods,، Linear programming,، Mathematical optimization,، Algorithms
رده :
T
57
.
74
.
R664
458. Theory and algorithms for linear optimization: an interior point approach ]electronic resources[
پدیدآورنده : Roos, Cornelis
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Interior-point methods,، Linear programming,، Mathematical optimization,، Algorithms
رده :
T
57
.
74
.
R664
1997
459. Theory and application of uniform experimental designs /
پدیدآورنده : Kai-Tai Fang, Min-Qian Liu, Hong Qin, Yong-Dao Zhou.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Experimental design.,Experimental design.,Mathematics-- Probability & Statistics-- General.,Probability & statistics.
رده :
QA279
460. Theory of linear and integer programming
پدیدآورنده : Schrijver, Alexander, 8491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Linear programming,، Integer programming
رده :
T
57
.
74
.
S53
1986
